Skip to content

Record: make __repr__ deterministic, add test#223

Merged
inducer merged 1 commit into
inducer:mainfrom
matthiasdiener:deterministic-record
May 1, 2024
Merged

Record: make __repr__ deterministic, add test#223
inducer merged 1 commit into
inducer:mainfrom
matthiasdiener:deterministic-record

Conversation

@matthiasdiener

@matthiasdiener matthiasdiener commented May 1, 2024

Copy link
Copy Markdown
Contributor

Somewhat of a (partial) alternative to #207.

@matthiasdiener matthiasdiener force-pushed the deterministic-record branch from a8952bb to 504e17b Compare May 1, 2024 20:59
@inducer

inducer commented May 1, 2024

Copy link
Copy Markdown
Owner

This is a very easy sell. Thanks!

@inducer inducer enabled auto-merge (rebase) May 1, 2024 21:02
@inducer inducer merged commit 0a4cfe1 into inducer:main May 1, 2024
@matthiasdiener matthiasdiener deleted the deterministic-record branch May 1, 2024 21:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants